Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

SMC Capability #16

Merged
merged 1 commit into from
Sep 14, 2023
Merged

SMC Capability #16

merged 1 commit into from
Sep 14, 2023

Conversation

Furao
Copy link
Contributor

@Furao Furao commented Dec 10, 2021

Add a new capability which certain threads can invoke so seL4 can make SMC calls on ARM platforms in EL2 (virtualized mode) on the thread’s behalf.

See https://sel4.atlassian.net/browse/RFC-9

This is dependent on these changes: seL4/seL4_projects_libs#24 So it shouldn't be merged until that one is.

@Furao
Copy link
Contributor Author

Furao commented Aug 30, 2023

Updated this to match changes in seL4/seL4_projects_libs#24

Implemented a custom SMC call handler. It will check for a capability
associated with the SMC function ID called from the VM. If it exists,
then the SMC is forwarded to the microkernel so it can make the actual
SMC call. If it does not exist then the default SMC handler is called.
This allows PSCI emulation to continue working.

Register this new function as the VM's smc_handler_callback.

Signed-off-by: Robbie VanVossen <[email protected]>
@Furao
Copy link
Contributor Author

Furao commented Sep 13, 2023

@kent-mcleod This should be the last PR required for VMs to be able to have their SMC calls forwarded on. Just needs to be reviewed.

@kent-mcleod kent-mcleod merged commit 2941a4b into seL4:master Sep 14, 2023
@kent-mcleod
Copy link
Member

Cool!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants